Failure detection and localization for timed event graphs in $(\max \limits ,+)$-algebra

Networked conflicting timed event graphs representation in (Max, +) algebra

Timed Event Graphs (TEGs) are a specific class of Petri nets that have been thoroughly studied given their useful linear state representation in (Max,+) algebra. Unfortunately, TEGs are generally not suitable for modeling systems displaying resources sharing (or conflicts). In this paper, we show that if a system with conflicts is modeled using a NCTEG (Networked Conflicting Timed Event Graphs)...

Detection of Changes by Observer in Timed Event Graphs and Time Stream Event Graphs

A state-based approach for detection of changes in systems modelled as Timed Event Graph and Time Stream Event Graph is presented. We assume that the net in its nominal behavior is known and transitions are partitioned as observable and unobservable transitions. Considered faults are (possibly small) variations of dynamical models by respect to this nominal behavior. Using the algebra of dioids...

A (max,+) Algebra for Non-stationary Periodic Timed Discrete Event Systems

We deene and implement a (max,+) algebra of signals for the timing analysis of discrete event systems expressed as timed event graphs. A system is deened by the innnite, periodic time sequences of its events. Each sequence has a nite representations called a signal. The resulting tool can also compute supre-mal controllers for timed discrete event systems.

Reachability analysis for timed automata using max-plus algebra

We show that max-plus polyhedra are usable as a data structure in reachability analysis of timed automata. Drawing inspiration from the extensive work that has been done on difference bound matrices, as well as previous work on max-plus polyhedra in other areas, we develop the algorithms needed to perform forward and backward reachability analysis using maxplus polyhedra. To show that the appro...

Reachability Analysis for Timed Models using Max-Plus Algebra